-
1 sameness predicate
English-Russian big polytechnic dictionary > sameness predicate
-
2 sameness predicate
Большой англо-русский и русско-английский словарь > sameness predicate
-
3 sameness predicate
Вычислительная техника: предикат тождественности -
4 sameness predicate
Англо-русский словарь по машиностроению > sameness predicate
-
5 sameness predicate
-
6 sameness predicate
The New English-Russian Dictionary of Radio-electronics > sameness predicate
-
7 sameness predicate
English-Russian dictionary of computer science and programming > sameness predicate
-
8 sameness predicate
-
9 sameness predicate
-
10 sameness predicate
-
11 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать• -
12 predicate
1) вчт предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами 2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- predicate with free variable
- algebraic predicate
- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicate -
13 predicate
1) вчт. предикат (1. пропозициональная логическая функция, выражение с неопределёнными терминами2. приписываемый объекту признак; свойство; отношение 3. сказуемое 4. рема, ядро, заключительная часть актуального членения предложения 5. ключевое слово (напр. в языках программирования SQL и Prolog)) || предикатный, предикативный3) утверждение || утверждать•- analytical predicate
- associated predicates
- atomic predicate
- basic predicate
- binary predicate
- Boolean predicate
- bounded predicate
- complete predicate
- completely defined predicate
- completely representable predicate
- computability predicate
- decidable predicate
- definable predicate
- derived predicate
- disjunctively definable predicate
- dyadic predicate
- enumerable predicate
- equality predicate
- exhaustive predicate
- expressible predicate
- first-order predicate
- formula predicate
- fuzzy predicate
- generable predicate
- general recursive predicate
- higher-order predicate
- Horn predicate
- invariant predicate
- irreducible predicate
- logic predicate
- monadic predicate
- multi-place predicate
- n-argument predicate
- niladic predicate
- n-place predicate
- nth order predicate
- numerical predicate
- one-place predicate
- polynomial predicate
- predicate of predicates
- predicate with free variable
- prime predicate
- primitively recursive predicate
- recursive predicate
- representable predicate
- resolvable predicate
- sameness predicate
- semantic predicate
- strong predicate
- triadic predicate
- two-place predicate
- unary predicate
- undecidable predicate
- unitary predicate
- universal predicateThe New English-Russian Dictionary of Radio-electronics > predicate
-
14 predicate
English-Russian dictionary of computer science and programming > predicate
-
15 choice predicate
English-Russian big polytechnic dictionary > choice predicate
-
16 negated predicate
English-Russian big polytechnic dictionary > negated predicate
-
17 предикат тождественности
Большой англо-русский и русско-английский словарь > предикат тождественности
-
18 предикат тождественности
Русско-английский словарь по электронике > предикат тождественности
-
19 предикат тождественности
Русско-английский словарь по радиоэлектронике > предикат тождественности
-
20 предикат тождественности
Русско-английский словарь по вычислительной технике и программированию > предикат тождественности
- 1
- 2
См. также в других словарях:
Sophist (dialogue) — The Sophist (Greek: Σοφιστής) is one of the late Dialogues of Plato, which was written much later than the Parmenides and the Theaetetus , probably in 360 BC. After he criticized his own Theory of Forms in the Parmenides , Plato proceeds in the… … Wikipedia
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… … History of philosophy
Identity (philosophy) — In philosophy, identity, from Latin: identitas (“sameness”), is the relation each thing bears just to itself. [1] According to Leibniz s law two things sharing every attribute are not only similar, but are the same thing. The concept of sameness… … Wikipedia
Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; … Universalium
Alfred Tarski — Infobox scientist name = Alfred Tarski caption = birth date = birth date|1901|01|14 birth place = Warsaw, Poland (under Russian rule at the time) death date = death date|1983|10|26 death place = Berkeley, California fields = Mathematics, logic,… … Wikipedia
Willard Van Orman Quine — Unreferenced|date=August 2007 Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE image caption = Willard Van Orman Quine name = Willard Van Orman Quine birth = birth date|mf=yes|1908|6|25 death = death… … Wikipedia
Plato — /play toh/, n. 1. 427 347 B.C., Greek philosopher. 2. a walled plain in the second quadrant of the face of the moon, having a dark floor: about 60 miles (96 km) in diameter. * * * orig. Aristocles born 428/427, Athens, or Aegina, Greece died… … Universalium
analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… … Universalium
Universal (metaphysics) — Universals redirects here. For other uses, see Universal (disambiguation). In metaphysics, a universal is what particular things have in common, namely characteristics or qualities. In other words, universals are repeatable or recurrent entities… … Wikipedia
Platonism — Part of a series on … Wikipedia